@InProceedings{SilvaSant:2017:TeMoAm,
               author = "Silva, Leoni Augusto Romain da and Santiago J{\'u}nior, Valdivino 
                         Alexandre de",
          affiliation = "{Universidade Salesiana (UNISAL)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "Testes de modelos ambientais desenvolvidos via TerraME",
                 year = "2017",
         organization = "Semin{\'a}rio de Inicia{\c{c}}{\~a}o Cient{\'{\i}}fica e 
                         Inicia{\c{c}}{\~a}o em Desenvolvimento Tecnol{\'o}gico e 
                         Inova{\c{c}}{\~a}o (SICINPE)",
                 note = "{Bolsa PIBIC/INPE/CNPq}",
             abstract = "A {\'a}rea tem{\'a}tica Modelagem do Sistema Terrestre e 
                         Proje{\c{c}}{\~a}o do Centro de Ci{\^e}ncia do Sistema 
                         Terrestre (CCST/INPE) objetiva pesquisar a 
                         representa{\c{c}}{\~a}o do Sistema Terrestre (ST), abrangendo 
                         n{\~a}o somente as dimens{\~o}es f{\'{\i}}sicas e 
                         biol{\'o}gicas, como tamb{\'e}m as dimens{\~o}es humanas. 
                         Existem diversas a{\c{c}}{\~o}es de pesquisa s{\'o}lidas em 
                         rela{\c{c}}{\~a}o a essa {\'a}rea tem{\'a}tica do CCST/INPE, 
                         sendo que uma delas {\'e} o TerraME: um ambiente de 
                         desenvolvimento para a modelagem din{\^a}mica espacial que 
                         ap{\'o}ia o conceito de Aut{\^o}matos Celulares Aninhados 
                         (Nested-CA). Assegurar que os modelos ambientais estejam 
                         consistentes/corretos {\'e} uma tarefa bastante desafiadora pois 
                         requer o conhecimento no dom{\'{\i}}nio de 
                         aplica{\c{c}}{\~a}o, al{\'e}m do conhecimento da linguagem de 
                         programa{\c{c}}{\~a}o em que o c{\'o}digo-fonte do modelo foi 
                         escrito. Por outro lado, as metodologias, t{\'e}cnicas e 
                         processos da Engenharia de Software podem contribuir para melhorar 
                         a qualidade de um produto de software. A {\'a}rea de 
                         Verifica{\c{c}}{\~a}o e Valida{\c{c}}{\~a}o (V\&V) da 
                         Engenharia de Software almeja contribuir para essa melhoria da 
                         qualidade. Teste de software {\'e} um dos processos mais adotado, 
                         na pr{\'a}tica, entre todos relacionadas {\`a} V\&V. Os 
                         objetivos espec{\'{\i}}ficos desse projeto s{\~a}o: a.) 
                         investigar diversas t{\'e}cnicas para gera{\c{c}}{\~a}o de 
                         casos de teste de software para modelos ambientais desenvolvidos 
                         via TerraME; b.) realizar uma compara{\c{c}}{\~a}o 
                         estat{\'{\i}}stica rigorosa para identificar quais das 
                         t{\'e}cnicas, usadas para gera{\c{c}}{\~a}o de casos de teste 
                         para os modelos TerraME, obtiveram melhor custo e efici{\^e}ncia. 
                         Portanto, esse projeto de pesquisa demonstra a sua relev{\^a}ncia 
                         por almejar melhorar a qualidade de produto de software complexo e 
                         que est{\'a} sendo desenvolvido pelo INPE.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos, SP",
      conference-year = "25-26 jul.",
             language = "es",
           targetfile = "Silva_teste.pdf",
        urlaccessdate = "28 abr. 2024"
}